Masato Takeichi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A programmable editor for developing structured documents based on bidirectional transformations

Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 583 KB

english, 2008

2

[IEEE 2018 IEEE Symposium on Computer Applications & Industrial Electronics (ISCAIE) - Penang (2018.4.28-2018.4.29)] 2018 IEEE Symposium on Computer Applications & Industrial Electronics (ISCAIE) - Effect of security education using KIPS and gamification theory at KOSEN

Yonemura, Keiichi, Komura, Ryotaro, Sato, Jun, Hoga, Takeshi, Takeichi, Yoshihiro, Chida, Eikoh, Matsuoka, Masato

Year:

2018

Language:

english

File:

PDF, 1.99 MB

english, 2018

3

Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs

Masato Takeichi

Journal:

New Generation Computing

Year:

1988

Language:

english

File:

PDF, 629 KB

english, 1988

4

Deriving structural hylomorphisms from recursive definitions

Hu, Zhenjiang, Iwasaki, Hideya, Takeichi, Masato

Journal:

ACM SIGPLAN Notices

Year:

1996

Language:

english

File:

PDF, 883 KB

english, 1996

5

[ACM Press the fifth international workshop on - Hong Kong, China (2000.09.30-2000.10.01)] Proceedings of the fifth international workshop on on Information retrieval with Asian languages - IRAL '00 - Context-sensitive detection and correction of homonym errors in Japanese texts (poster session)

Iwasaki, Hideya, Tanaka-Ishii, Kumiko, Tateno, Kei, Takeichi, Masato

Year:

2000

Language:

english

File:

PDF, 178 KB

english, 2000

6

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - The third homomorphism theorem on trees

Morihata, Akimasa, Matsuzaki, Kiminori, Hu, Zhenjiang, Takeichi, Masato

Year:

2008

Language:

english

File:

PDF, 213 KB

english, 2008

7

αN-catenin deficiency causes defects in axon migration and nuclear organization in restricted regions of the mouse brain

Masato Uemura, Masatoshi Takeichi

Journal:

Developmental Dynamics

Year:

2006

Language:

english

File:

PDF, 879 KB

english, 2006

8

αN-catenin deficiency causes defects in axon migration and nuclear organization in restricted regions of the mouse brain

Masato Uemura, Masatoshi Takeichi

Journal:

Developmental Dynamics

Year:

2006

File:

PDF, 455 KB

2006

9

Performance evaluation of data transfer on multiple routes through the Internet

Takanori Hayashi, Shin'ichiro Yamasaki, Naoto Morita, Hitoshi Aida, Masato Takeichi, Norihisa Doi

Journal:

Electronics and Communications in Japan (Part I: Communications))

Year:

2002

Language:

english

File:

PDF, 319 KB

english, 2002

10

Recognition by a natural cytotoxic antibody of lactoneotetraglycosyl ceramide as an antigenic molecule in a syngeneic rat fibrosarcoma

Masato Takimoto, Eiji Suzuki, Masaharu Naiki, Toshiyuki Itaya, Noritoshi Takeichi, Masuo Hosokawa, Hiroshi Kobayashi

Journal:

International Journal of Cancer

Year:

1985

Language:

english

File:

PDF, 789 KB

english, 1985

11

Effects of thymus grafts or thymic hormones on immunologic abnormalities induced by natural infection with microorganisms in SHR rats

Noritoshi Takeichi, Jun-ichi Hamada, Masato Takimoto, Kosaku Fujiwara, Hiroshi Kobayashi

Journal:

International Journal of Immunopharmacology

Year:

1988

Language:

english

File:

PDF, 79 KB

english, 1988

12

Parallel skeletons for manipulating general trees

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Journal:

Parallel Computing

Year:

2006

Language:

english

File:

PDF, 675 KB

english, 2006

13

Partial parametrization eliminates multiple traversals of data structures

Masato Takeichi

Journal:

Acta Informatica

Year:

1987

Language:

english

File:

PDF, 905 KB

english, 1987

14

Calculating accumulations

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi

Journal:

New Generation Computing

Year:

1999

Language:

english

File:

PDF, 989 KB

english, 1999

15

Relational semantics for locally nondeterministic programs

Liangwei Xu, Masato Takeichi, Hideya Iwasaki

Journal:

New Generation Computing

Year:

1997

Language:

english

File:

PDF, 917 KB

english, 1997

16

Consistent Web site updating based on bidirectional transformation

Keisuke Nakano, Zhenjiang Hu, Masato Takeichi

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 1.04 MB

english, 2009

17

A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi

Journal:

International Journal of Parallel Programming

Year:

2007

Language:

english

File:

PDF, 773 KB

english, 2007

18

Deterministic second-order patterns

Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 170 KB

english, 2004

19

OL-protocadherin is essential for growth of striatal axons and thalamocortical projections

Uemura, Masato, Nakao, Shinsuke, Suzuki, Shintaro T, Takeichi, Masatoshi, Hirano, Shinji

Journal:

Nature Neuroscience

Year:

2007

Language:

english

File:

PDF, 871 KB

english, 2007

20

Inserting injection operations to denotational specifications

Masato Takeichi

Journal:

New Generation Computing

Year:

1986

Language:

english

File:

PDF, 728 KB

english, 1986

21

Preliminary arrangements of arguments in lazy evaluation

Liao Husheng, Masato Takeichi

Journal:

New Generation Computing

Year:

1991

Language:

english

File:

PDF, 571 KB

english, 1991

22

Derivation of algorithms by introduction of generation functions

Liangwei Xu, Hideya Iwasaki, Masato Takeichi

Journal:

New Generation Computing

Year:

1994

Language:

english

File:

PDF, 861 KB

english, 1994

23

Distribution of OL-protocadherin in axon fibers in the developing chick nervous system

Shinsuke Nakao, Masato Uemura, Eiko Aoki, Shintaro T. Suzuki, Masatoshi Takeichi, Shinji Hirano

Journal:

Molecular Brain Research

Year:

2005

Language:

english

File:

PDF, 1.34 MB

english, 2005

24

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Towards automatic model synchronization from model transformations

Xiong, Yingfei, Liu, Dongxi, Hu, Zhenjiang, Zhao, Haiyan, Takeichi, Masato, Mei, Hong

Year:

2007

Language:

english

File:

PDF, 389 KB

english, 2007

25

In situ measurement of tensile elastic moduli of individual component polymers with a 3D assembly mode in wood cell walls

Yasuki Takeichi,Masato Yoshida,Kohei Kitano…

Journal:

Journal of Wood Science

Year:

2013

Language:

english

File:

PDF, 603 KB

english, 2013

26

Synchronizing concurrent model updates based on bidirectional transformation

Yingfei Xiong,Hui Song,Zhenjiang Hu,Masato Takeichi

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 955 KB

english, 2013

27

[Association for Computational Linguistics the 19th international conference - Taipei, Taiwan (2002.08.24-2002.09.01)] Proceedings of the 19th international conference on Computational linguistics - - Entering text with a four-button device

Tanaka-Ishii, Kumiko, Inutsuka, Yusuke, Takeichi, Masato

Year:

2002

Language:

english

File:

PDF, 367 KB

english, 2002

28

[IEEE 2008 10th International Symposium on Web Site Evolution (WSE) - Beijing (2008.10.3-2008.10.4)] 2008 10th International Symposium on Web Site Evolution - Consistent Web site updating based on bidirectional transformation

Nakano, Keisuke, Hu, Zhenjiang, Takeichi, Masato

Year:

2008

Language:

english

File:

PDF, 1.55 MB

english, 2008

29

SYSTEMATIC DERIVATION OF TREE CONTRACTION ALGORITHMS

MATSUZAKI, KIMINORI, HU, ZHENJIANG, KAKEHI, KAZUHIKO, TAKEICHI, MASATO

Journal:

Parallel Processing Letters

Year:

2005

Language:

english

File:

PDF, 1.48 MB

english, 2005

30

CALCULATING AN OPTIMAL HOMOMORPHIC ALGORITHM FOR BRACKET MATCHING

HU, ZHENJIANG, TAKEICHI, MASATO

Journal:

Parallel Processing Letters

Year:

1999

Language:

english

File:

PDF, 541 KB

english, 1999

31

Bidirectionalization transformation based on automatic derivation of view complement functions

Matsuda, Kazutaka, Hu, Zhenjiang, Nakano, Keisuke, Hamana, Makoto, Takeichi, Masato

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 409 KB

english, 2007

32

Manipulating accumulative functions by swapping call-time and return-time computations

MORIHATA, AKIMASA, KAKEHI, KAZUHIKO, HU, ZHENJIANG, TAKEICHI, MASATO

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 307 KB

english, 2012

33

[ACM Press the 2004 ACM SIGPLAN symposium - Verona, Italy (2004.08.24-2004.08.25)] Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04 - A programmable editor for developing structured documents based on bidirectional transformations

Hu, Zhenjiang, Mu, Shin-Cheng, Takeichi, Masato

Year:

2004

Language:

english

File:

PDF, 388 KB

english, 2004

34

[ACM Press the 9th annual SIGCSE conference - Leeds, United Kingdom (2004.06.28-2004.06.30)] Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education - ITiCSE '04 - EMMA

Tanaka-Ishii, Kumiko, Kakehi, Kazuhiko, Takeichi, Masato

Year:

2004

Language:

english

File:

PDF, 55 KB

english, 2004

35

[ACM Press the 2005 ACM symposium - Bristol, United Kingdom (2005.11.02-2005.11.04)] Proceedings of the 2005 ACM symposium on Document engineering - DocEng '05 - An environment for maintaining computation dependency in XML documents

Liu, Dongxi, Hu, Zhenjiang, Takeichi, Masato

Year:

2005

Language:

english

File:

PDF, 231 KB

english, 2005

36

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Automatic inversion generates divide-and-conquer parallel programs

Morita, Kazutaka, Morihata, Akimasa, Matsuzaki, Kiminori, Hu, Zhenjiang, Takeichi, Masato

Year:

2007

Language:

english

File:

PDF, 218 KB

english, 2007

37

Program transformation in calculational form

Takano, Akihiko, Hu, Zhenjiang, Takeichi, Masato

Journal:

ACM Computing Surveys

Year:

1998

Language:

english

File:

PDF, 122 KB

english, 1998

38

Automatic inversion generates divide-and-conquer parallel programs

Morita, Kazutaka, Morihata, Akimasa, Matsuzaki, Kiminori, Hu, Zhenjiang, Takeichi, Masato

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 218 KB

english, 2007

39

Tupling calculation eliminates multiple data traversals

Hu, Zhenjiang, Iwasaki, Hideya, Takeichi, Masato, Takano, Akihiko

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.07 MB

english, 1997

40

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Bidirectionalization transformation based on automatic derivation of view complement functions

Matsuda, Kazutaka, Hu, Zhenjiang, Nakano, Keisuke, Hamana, Makoto, Takeichi, Masato

Year:

2007

Language:

english

File:

PDF, 409 KB

english, 2007

41

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - Supporting automatic model inconsistency fixing

Xiong, Yingfei, Hu, Zhenjiang, Zhao, Haiyan, Song, Hui, Takeichi, Masato, Mei, Hong

Year:

2009

Language:

english

File:

PDF, 421 KB

english, 2009

42

[ACM Press the first ACM SIGPLAN international conference - Philadelphia, Pennsylvania, United States (1996.05.24-1996.05.26)] Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 - Deriving structural hylomorphisms from recursive definitions

Hu, Zhenjiang, Iwasaki, Hideya, Takeichi, Masato

Year:

1996

Language:

english

File:

PDF, 883 KB

english, 1996

43

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Tupling calculation eliminates multiple data traversals

Hu, Zhenjiang, Iwasaki, Hideya, Takeichi, Masato, Takano, Akihiko

Year:

1997

Language:

english

File:

PDF, 1.07 MB

english, 1997

44

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - Parallelization in calculational forms

Hu, Zhenjiang, Takeichi, Masato, Chin, Wei-Ngan

Year:

1998

Language:

english

File:

PDF, 1.66 MB

english, 1998

45

[ACM Press the eighteenth annual ACM symposium - Cambridge, Massachusetts, USA (2006.07.30-2006.08.02)] Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures - SPAA '06 - Towards automatic parallelization of tree reductions in dynamic programming

Matsuzaki, Kiminori, Hu, Zhenjiang, Takeichi, Masato

Year:

2006

Language:

english

File:

PDF, 215 KB

english, 2006

46

[ACM Press the 2009 ACM SIGPLAN workshop - Savannah, GA, USA (2009.01.19-2009.01.20)] Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 - Type-based specialization of xml transformations

Matsuda, Kazutaka, Hu, Zhenjiang, Takeichi, Masato

Year:

2008

Language:

english

File:

PDF, 563 KB

english, 2008

47

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Write it recursively

Morihata, Akimasa, Matsuzaki, Kiminori, Takeichi, Masato

Year:

2008

Language:

english

File:

PDF, 260 KB

english, 2008

48

A Case Report and Literature Review of Spontaneous Perforation of Pyometra

Uno, Kaname, Tano, Sho, Yoshihara, Masato, Mayama, Michinori, Ukai, Mayu, Kishigami, Yasuyuki, Nishikawa, Yoshitomo, Takeichi, Yasushi, Oguchi, Hidenori

Journal:

The Journal of Emergency Medicine

Year:

2016

Language:

english

File:

PDF, 784 KB

english, 2016

49

Intravital Imaging of Neutrophil Recruitment in Hepatic Ischemia-Reperfusion Injury in Mice

Honda, Masaki, Takeichi, Takayuki, Asonuma, Katsuhiro, Tanaka, Koji, Kusunoki, Masato, Inomata, Yukihiro

Journal:

Transplantation Journal

Year:

2013

Language:

english

File:

PDF, 3.11 MB

english, 2013

50

Write it recursively

Morihata, Akimasa, Matsuzaki, Kiminori, Takeichi, Masato

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 260 KB

english, 2008